Free shipping on all orders! No minimum purchase required.
Critical Systems: Formal Methods and Automated Verification
by Laure Petrucci (Editor), Cristina Seceleanu (Editor)
